81. Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings
پدیدآورنده: Susanne Graf, Laurent Mounier )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2989
82. Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
پدیدآورنده: Dragan Bosnacki, Stefan Leue ]eds.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2318
83. Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
پدیدآورنده: Thomas Ball, Sriram K. Rajamani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2648
84. Model checking software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005 : proceedings
پدیدآورنده: Patrice Godefroid )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
3639
85. Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings
پدیدآورنده: Matthew Dwyer )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Verification,Congresses ، SPIN )Computer file(
رده :
QA
76
.
L28
Vol
.
2057
86. Modeling and verification of real-time systems
پدیدآورنده : edited by Nicolas Navet, Stephan Merz
موضوع : Real-time data processing,Computer software- Verification,Formal methods (Computer science)
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
87. Modeling and verification of real-time systems
پدیدآورنده: / edited by Nicolas Navet, Stephan Merz
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Real-time data processing,Computer software -- Verification,Formal methods (computer science)
رده :
QA
76
.
54
.
M635
2008
88. Modeling and verification of real-time systems :formalisms and software tools
پدیدآورنده: edited by Nicolas Navet, Stephan Merz
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Real-time data processing,Verification ، Computer software,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M635
2008
89. Modeling and verification of real-time systems: formalisms and software tools
پدیدآورنده: edited by Nicolas Navet, Stephan Merz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Real-time data processing,Verification ، Computer software,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M635
2008
90. Modeling and verification of real-time systems: formalisms and software tools
پدیدآورنده: edited by Nicolas Navet, Stephan Merz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Real-time data processing,Verification ، Computer software,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M635
91. Modeling and verification of real-time systems : formalisms and software tools
پدیدآورنده: edited by Stephan Merz, Nicolas Navet
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Real-time data processing,، Computer software -- Verification,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M633
92. Modeling and verification of real-time systems: formalisms and software tools
پدیدآورنده: edited by Nicolas Navet, Stephan Merz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Real-time data processing,Verification ، Computer software,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M635
2008
93. Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
پدیدآورنده: Muller-Olm, Markus
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Compilers )Computer programs(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1283
94. NASA formal methods :
پدیدآورنده: Alwyn E. Goodloe, Suzette Person (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses.,Fault-tolerant computing, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.
رده :
QA76
.
9
.
F67
N46
2012eb
95. Numerical software verification :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification ; Congresses. ;
96. Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24 2003 : revised papers
پدیدآورنده: Rene Alt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Computer propgrams -- Congresses ، Numerical analysis,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2991
97. Open source identity management patterns and practices using openAM 10.x
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems-- Verification,Identification-- Computer programs,Online identities,Open source software
رده :
GN192
K466564
2013
98. Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
پدیدآورنده: Godefroid, Patrice
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
1032
99. Principles of model checkin
پدیدآورنده: / Christel Baier, Joost-Pieter Katoen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer systems--Verification,Computer software--Verification
رده :
QA
,
76
.
76
,.
V47
,
B35
,
2008eb
100. Principles of model checking
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer systems ; Verification. ; Computer software ; Verification. ;
